RESULTS

The BITSAVERS.ORG Documents Library 13

The BITSAVERS.ORG Documents Library: Massachusetts Institute of Technology 9

American Libraries 5

NASA Technical Documents 5

The BITSAVERS.ORG Documents Library: Digital Equipment Corporation 3

Community Texts 3

Flooved 2

Folkscanomy: A Library of Books 2

The BITSAVERS.ORG Documents Library: Xerox Corporation 1

California Digital Library 1

Columbia University Libraries 1

magnesamdal Favorites 1

Frnz Favorites 1

Zor Favorites 1

Folkscanomy Mathematics: Books of a Mathematic Nature 1

Folkscanomy Science: Books of a Scientific Nature 1

University of Toronto - Gerstein Science Information Centre 1

Microfilm 1

Community Video 1

Canadian Libraries 1

The BITSAVERS.ORG Documents Library: Massachusetts Institute of Technology 9

American Libraries 5

NASA Technical Documents 5

The BITSAVERS.ORG Documents Library: Digital Equipment Corporation 3

Community Texts 3

Flooved 2

Folkscanomy: A Library of Books 2

The BITSAVERS.ORG Documents Library: Xerox Corporation 1

California Digital Library 1

Columbia University Libraries 1

magnesamdal Favorites 1

Frnz Favorites 1

Zor Favorites 1

Folkscanomy Mathematics: Books of a Mathematic Nature 1

Folkscanomy Science: Books of a Scientific Nature 1

University of Toronto - Gerstein Science Information Centre 1

Microfilm 1

Community Video 1

Canadian Libraries 1

axioms 13

Axioms 10

proof 6

AXIOMS 5

Geometry 4

Mathematics 4

logic 4

Groups 3

artificial intelligence 3

inference rules 3

theorem 3

Algebra 2

Axioms for Groups 2

DISTRIBUTION FUNCTIONS 2

Electrodynamics 2

Euclid 2

INFERENCE 2

MATHEMATICAL MODELS 2

Maths 2

Theorems 2

behavior 2

consistent theory 2

correctness 2

data 2

die 2

fixed 2

fixed point 2

fixed points 2

formulas 2

labeled 2

mutual exclusion 2

notion 2

operation 2

predicate calculus 2

program 2

proof procedure 2

proof system 2

set 2

specification 2

specifications 2

synchronization 2

tableau 2

tableau structure 2

theory 2

tms 2

truth maintenance 2

type 2

(M 1

CALIBRATING 1

CHARGE TRANSFER 1

COMPUTER PROGRAMS 1

CREEP PROPERTIES 1

Categorical Ontology and the Theory of Levels (COTL) 1

Conjugacy Classes 1

Cosets 1

DAMPING 1

DIFFUSION 1

Definitions 1

Double Groupoids 1

ETAC and ETAS axioms 1

Elements 1

Fields 1

Functors and Natural Transformations (CT) 1

GRAPH THEORY 1

General Systems Theory and Complex Systems Biology 1

Generalized spaces 1

Geometry and Groups 1

Group Action 1

Group Actions 1

HIGH TEMPERATURE 1

HOLES (ELECTRON DEFICIENCIES) 1

Higher Dimensional Algebra (HDA) of Networks 1

Higher Dimensional Algebra of Brain Functions 1

Higher Homotopy-Generalised van Kampen theorems (HHGvKTs) 1

INCONEL (TRADEMARK) 1

ION DENSITY (CONCENTRATION) 1

ION RECOMBINATION 1

Isomorphism Theorems 1

KRYPTON 1

LINEAR ENERGY TRANSFER (LET) 1

LOSSES 1

Lagrange and Fermat-Euler�s Theorems 1

Lagrange�s Theorem 1

Lattices 1

MATHEMATICAL LOGIC 1

MECHANICAL PROPERTIES 1

MECHANIZATION 1

Math 1

Math4Teens 1

Mathematical analysis -- Foundations 1

Mathematics -- Philosophy 1

Non- Abelian Categorical Ontology 1

Non-Abelian Algebraic Topology (NAAT) 1

OPTIMIZATION 1

Opticks 1

Orbit-Stabilizer Theorem 1

PLASMA DENSITY 1

PLASMA WAVES 1

PLASMAS (PHYSICS) 1

PROGRAMMING LANGUAGES 1

PROTOTYPES 1

PROVING 1

Permutations 1

Physics 1

Planimetry 1

Points 1

Problems 1

Propositions 1

Psychology 1

Quantum Algebraic Topology (QAT) and Axiomatic Quantum Theory (AQT) 1

Quantum Double 1

Quaternions 1

R)-systems (MRs) and organisms 1

RADIATION DISTRIBUTION 1

Rational Numbers 1

Rings 1

SILICON 1

STANDARD DEVIATION 1

STATISTICAL ANALYSIS 1

Sets 1

Spaces 1

TEMPERATURE EFFECTS 1

THERMAL FATIGUE 1

Theoretical Biology 1

Theory of Categories 1

Theses 1

Trisection of angle 1

Unizor 1

Yoneda-Grothendieck Lemma 1

access mode 1

access modes 1

action 1

action symbols 1

actions 1

actor 1

actor system 1

algorithm 1

analysis and synthesis 1

apothegms 1

attribute 1

attribution 1

attributions 1

automatic 1

automatic derivation 1

automatic generation 1

autopoiesis and generalised metabolic-replication systems 1

axiom 1

axiom schemes 1

boolean combination 1

bound variables 1

boundaries and horizons 1

category of categories 1

category of double groupoids and double category 1

causal axioms 1

checking proofs 1

circumscription 1

circumscription axiom 1

closed and open systems 1

code 1

code generation 1

code generator 1

code generators 1

combinatory 1

combinatory model 1

commands 1

compiler 1

complete proof 1

completion procedure 1

complex 1

computation 1

computation satisfies 1

converts clause 1

cross diamond 1

data base 1

data type 1

data types 1

deduction rule 1

deduction rules 1

default 1

default reasoning 1

derivation 1

derivational closure 1

description 1

description abstraction 1

descriptions 1

die set 1

dynamic 1

dynamic logic 1

enlightenment 1

equals 1

equivalence 1

equivalence relation 1

essential 1

essential function 1

evaluator 1

events 1

exception 1

exceptional behavior 1

execution 1

executions 1

Axioms 10

proof 6

AXIOMS 5

Geometry 4

Mathematics 4

logic 4

Groups 3

artificial intelligence 3

inference rules 3

theorem 3

Algebra 2

Axioms for Groups 2

DISTRIBUTION FUNCTIONS 2

Electrodynamics 2

Euclid 2

INFERENCE 2

MATHEMATICAL MODELS 2

Maths 2

Theorems 2

behavior 2

consistent theory 2

correctness 2

data 2

die 2

fixed 2

fixed point 2

fixed points 2

formulas 2

labeled 2

mutual exclusion 2

notion 2

operation 2

predicate calculus 2

program 2

proof procedure 2

proof system 2

set 2

specification 2

specifications 2

synchronization 2

tableau 2

tableau structure 2

theory 2

tms 2

truth maintenance 2

type 2

(M 1

CALIBRATING 1

CHARGE TRANSFER 1

COMPUTER PROGRAMS 1

CREEP PROPERTIES 1

Categorical Ontology and the Theory of Levels (COTL) 1

Conjugacy Classes 1

Cosets 1

DAMPING 1

DIFFUSION 1

Definitions 1

Double Groupoids 1

ETAC and ETAS axioms 1

Elements 1

Fields 1

Functors and Natural Transformations (CT) 1

GRAPH THEORY 1

General Systems Theory and Complex Systems Biology 1

Generalized spaces 1

Geometry and Groups 1

Group Action 1

Group Actions 1

HIGH TEMPERATURE 1

HOLES (ELECTRON DEFICIENCIES) 1

Higher Dimensional Algebra (HDA) of Networks 1

Higher Dimensional Algebra of Brain Functions 1

Higher Homotopy-Generalised van Kampen theorems (HHGvKTs) 1

INCONEL (TRADEMARK) 1

ION DENSITY (CONCENTRATION) 1

ION RECOMBINATION 1

Isomorphism Theorems 1

KRYPTON 1

LINEAR ENERGY TRANSFER (LET) 1

LOSSES 1

Lagrange and Fermat-Euler�s Theorems 1

Lagrange�s Theorem 1

Lattices 1

MATHEMATICAL LOGIC 1

MECHANICAL PROPERTIES 1

MECHANIZATION 1

Math 1

Math4Teens 1

Mathematical analysis -- Foundations 1

Mathematics -- Philosophy 1

Non- Abelian Categorical Ontology 1

Non-Abelian Algebraic Topology (NAAT) 1

OPTIMIZATION 1

Opticks 1

Orbit-Stabilizer Theorem 1

PLASMA DENSITY 1

PLASMA WAVES 1

PLASMAS (PHYSICS) 1

PROGRAMMING LANGUAGES 1

PROTOTYPES 1

PROVING 1

Permutations 1

Physics 1

Planimetry 1

Points 1

Problems 1

Propositions 1

Psychology 1

Quantum Algebraic Topology (QAT) and Axiomatic Quantum Theory (AQT) 1

Quantum Double 1

Quaternions 1

R)-systems (MRs) and organisms 1

RADIATION DISTRIBUTION 1

Rational Numbers 1

Rings 1

SILICON 1

STANDARD DEVIATION 1

STATISTICAL ANALYSIS 1

Sets 1

Spaces 1

TEMPERATURE EFFECTS 1

THERMAL FATIGUE 1

Theoretical Biology 1

Theory of Categories 1

Theses 1

Trisection of angle 1

Unizor 1

Yoneda-Grothendieck Lemma 1

access mode 1

access modes 1

action 1

action symbols 1

actions 1

actor 1

actor system 1

algorithm 1

analysis and synthesis 1

apothegms 1

attribute 1

attribution 1

attributions 1

automatic 1

automatic derivation 1

automatic generation 1

autopoiesis and generalised metabolic-replication systems 1

axiom 1

axiom schemes 1

boolean combination 1

bound variables 1

boundaries and horizons 1

category of categories 1

category of double groupoids and double category 1

causal axioms 1

checking proofs 1

circumscription 1

circumscription axiom 1

closed and open systems 1

code 1

code generation 1

code generator 1

code generators 1

combinatory 1

combinatory model 1

commands 1

compiler 1

complete proof 1

completion procedure 1

complex 1

computation 1

computation satisfies 1

converts clause 1

cross diamond 1

data base 1

data type 1

data types 1

deduction rule 1

deduction rules 1

default 1

default reasoning 1

derivation 1

derivational closure 1

description 1

description abstraction 1

descriptions 1

die set 1

dynamic 1

dynamic logic 1

enlightenment 1

equals 1

equivalence 1

equivalence relation 1

essential 1

essential function 1

evaluator 1

events 1

exception 1

exceptional behavior 1

execution 1

executions 1

hilbert, david, 1862-1943 2

connelly, emma brown 1

edwin clark 1

erdmann, benno, 1851-1921 1

hendricks, john b 1

herbert meschkowski 1

i. c. baianu, ronald brown and james f. glazebrook 1

lennartsson, o. w 1

marcus the apollonian 1

maxwell, jerome l. 1

richard earl 1

rieckhoff, t. j. 1

schultz, johannes 1

sir isaac newton 1

stanhope, philip henry stanhope, earl, 1805-1875 1

tilton, james c. 1

yamaguchi, k. 1

zor shekhtman 1

connelly, emma brown 1

edwin clark 1

erdmann, benno, 1851-1921 1

hendricks, john b 1

herbert meschkowski 1

i. c. baianu, ronald brown and james f. glazebrook 1

lennartsson, o. w 1

marcus the apollonian 1

maxwell, jerome l. 1

richard earl 1

rieckhoff, t. j. 1

schultz, johannes 1

sir isaac newton 1

stanhope, philip henry stanhope, earl, 1805-1875 1

tilton, james c. 1

yamaguchi, k. 1

zor shekhtman 1

California Digital Library

by
Stanhope, Philip Henry Stanhope, Earl, 1805-1875

University of Toronto - Gerstein Science Information Centre

by
Erdmann, Benno, 1851-1921

NASA Technical Documents

by
Tilton, James C.; Marchisio, Giovanni; Koperski, Krzysztof; Datcu, Miha

NASA Technical Documents

by
Yamaguchi, K.; Hansman, R. John, Jr.; Kazmierczak, Michae

Fetching more results